(redisplay_internal): Set windows_or_buffers_changed
authorGerd Moellmann <gerd@gnu.org>
Tue, 6 Mar 2001 13:50:09 +0000 (13:50 +0000)
committerGerd Moellmann <gerd@gnu.org>
Tue, 6 Mar 2001 13:50:09 +0000 (13:50 +0000)
commite3a69080c02b74319fc5b5837fc5583d30f1017d
treefa4fcfa6d65c56e976613f45df70d4843d97ca4c
parentdfb85e7e49762b3a834c1cfa7809920d2ef04600
(redisplay_internal): Set windows_or_buffers_changed
if face_change_count is non-zero.
src/xdisp.c